Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
651	Mathematical Programming Luis Lafuente Center for Bits and Atoms Massachusetts Institute of Technology Cellular Microcode Add to Reading List Source URL: cba.mit.edu Language: English - Date: 2011-12-13 18:52:44 Operations research Linear programming Constraint programming R. Tyrrell Rockafellar Duality Decomposition method Mathematical optimization Mathematical analysis Convex optimization
652	technology from seed Verifying Optimizations using SMT Solvers Nuno Lopes Add to Reading List Source URL: llvm.org Language: English - Date: 2013-12-16 20:46:26 Mathematical optimization Operations research Constraint programming Logic in computer science Electronic design automation Satisfiability Modulo Theories Solver Nl AMPL Theoretical computer science Applied mathematics Mathematics
653	Rigid Body Constraints in GSAS The Fireside Guide Ian Swainson Add to Reading List Source URL: www.ccp14.ac.uk Language: English - Date: 2001-06-06 23:35:38 Multilinear algebra Constraint programming Algebraic geometry Homogeneous polynomial
654	AIAA JOURNAL Vol. 46, No. 11, November 2008 Surrogate-Based Optimization Using Multiﬁdelity Models with Variable Parameterization and Corrected Space Mapping T. D. Robinson∗ Add to Reading List Source URL: raphael.mit.edu Language: English - Date: 2010-09-23 10:19:59 Mathematical sciences Design of experiments Quality Statistical methods Multidisciplinary design optimization Surrogate model Global optimization Linear programming Constraint optimization Statistics Mathematical optimization Operations research
655	The Cassowary Linear Arithmetic Constraint Solving Algorithm: Interface and Implementation Greg J. Badros Alan Borning Add to Reading List Source URL: constraints.cs.washington.edu Language: English - Date: 2000-05-10 17:41:18 Mathematics Applied mathematics Simplex algorithm Linear programming Slack variable Constraint logic programming Constraint Least squares Hybrid algorithm Mathematical optimization Constraint programming Operations research
656	Constraint Satisfaction Modules A Methodology for Analog Circuit Design Piotr Mitros [removed] Massachusetts Institute of Technology Add to Reading List Source URL: mitros.org Language: English - Date: 2008-05-17 03:27:14 Artificial intelligence Lagrange multiplier Constraint programming Constraint satisfaction Constraint logic programming
657	DRAWING WITH CONSTRAINTS Michael Gleicher Andrew Witkin School of Computer Science Carnegie Mellon University Pittsburgh, PA[removed] Add to Reading List Source URL: research.cs.wisc.edu Language: English - Date: 1998-11-02 13:27:08 Mathematical optimization Computer programming Applied mathematics Programming paradigms Constraint satisfaction Constraint algorithm Linear programming Constraint Constraint programming Software engineering Operations research
658	Constraint Satisfaction Modules A Methodology for Analog Circuit Design Piotr Mitros [removed] Massachusetts Institute of Technology Add to Reading List Source URL: mitros.org Language: English - Date: 2008-05-17 03:41:17 Point on plane closest to origin Constraint programming Constraint satisfaction Constraint logic programming
659	From Logic Programming 22 July 99-AMAI Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 05:28:49 Declarative programming Constraint programming Reasoning Charles Sanders Peirce Epistemology Abductive logic programming Constraint logic programming Schedule Prolog Logic programming Software engineering Science
660	This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE/ACM TRANSACTIONS ON NETWORKING 1 ILP Formulations for p-Cycle Design Add to Reading List Source URL: www.eee.hku.hk Language: English - Date: 2010-01-15 05:37:40 Topology Mathematics Theoretical computer science Applied mathematics Constraint programming Network flow Network topology Flow network

UPDATE